Libro
|
Program verification
|
Francez, Nissim
|
(1992)
|
Domicilio
|
----------
|
Libro
|
Programming languages theory and its implementation: applicative and imperative paradigms
|
Gordon, Michael J.C.
|
1st ed.
(1988)
|
Domicilio
|
----------
|
Artículo
|
Reasoning about static and dynamic properties in Alloy : A purely relational approach
|
Frias, Marcelo F.
|
(2005)
|
|
----------
|
Tesis
|
TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito:
|
Turquie, Isaac Carlos
|
(1996)
|
Sala
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2010)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2012)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2014)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2018)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2019)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas Avanzada
|
Rosenfeld, Ricardo Fabián
|
(2019)
|
|
----------
|